（来源：上观新闻）
“用户通常使用自🚁🕹然语言描述系🇹🇬统设计👜，FM-Agen🎓t 生🐋成的规约也是自然🇲🇹🖇语言，而传统🎏🇧🇬形式化验证器🏊只支持基🚸🗼于数学公👩🏫🙎♂️式的推理，二者😲🧦存在巨大的语义鸿🏖🔌沟🏊。可以说🌯，2026年开启◽部署态，是🧽🙋♂️技术成熟🥅🇨🇺、场景验证、量产🤤🏄能力、生态完善🌓🧤共同推动的结果👘👩🦳。在基准测试中，O🥿pus 🤩😔4.7取得㊗的成绩普🧕😜遍高于上一代🥄Opus 🤔🔫4.6和竞品GP🔊🧲T-5.4🥨🇦🇷。同月，2🔔0VC主持人Ha💴rry🐅☑ Stebbi🔢🚿ngs对Fel🤢🅱dma🇧🇩n进行长篇专访🎟。但长期来看，市场🐌从"投票🅿机"变🥌👑成"称重机"（这🇽🇰是巴菲特的说😺法），估值会🧪😐回归盈利能力🗻。
他举例说，英🚴♀️伟达多年前🥖就开始投🎛📦资硅光子🥃生态（Lum🔃↖entum、C👨❤️💋👨🤺ohe🈹❎rent🇳🇵☝等公司），如今这🥋🛁一布局已经重塑了🚿😡整个供应链🍎👔结构🚶。这里不是说有大量🏳️🌈⏬的ASIC机会，🏳️🌈🇨🇮而是只有一个😐Anthro🌋🏃pic😀。结果发现👨👨👦👦，这些社👳♀️群实际的功能性🦄🧜♂️少之又少👩🔬。在 LLM 时🇬🇱👮♀️代，如♎☠何让形式化方😦🇲🇴法的脚步快速跟🇺🇾上编程🈵❄智能体的发🇺🇾展速度变得越⚫🕹发重要💵。。那么，✂👴为什么🆑英伟达不自己🐸成为一家云🤷♂️服务商，📉💣自己租赁🍓这些计算资源？ 🚅黄仁勋🍒📂：这是公🔮👀司哲学问🔓🇧🇼题👯♂️。然而，北⛑方华创的营收高⏳📦速增长🆘并未转化为利润⏩的同步提升🕵🌒。程序员们🇦🇪很焦虑，一🇮🇴🈹边焦虑于积极🥣🆙拥抱AI，用肉♨🧷身帮助大模型成🖋📊长的“码奸”；一⛏边焦虑_地随✳大部队“上岛”🤫养AI智能体，👸🇲🇭在巨大的变🖕革中寻找🚇🤝自己的位置🤞。
